Доказательство в логике какого-либо суждения (тезиса), основанное на опровержении (т. е. доказательстве ложности, доказательстве отрицания) некоторых др. суждений, находящихся в определённых отношениях к тезису. В т. н. разделительном К. д. тезис представляет собой один из членов дизъюнкции (т. е. суждения вида "
A1, или
А2, или..., или
An")
, о которой известно, что она истинна (или предполагается предварительно доказанной), а само
доказательство состоит в опровержении всех членов
Ai этой дизъюнкции, кроме доказываемого. Т. н. апагогическое К. д., или
Доказательство от противного, состоит в опровержении отрицания доказываемого тезиса ("антитезиса"). Если исходить из истинности (или доказуемости) исключенного третьего принципа (См.
Исключённого третьего принцип) ("
А или не-
А"), то апагогично К. д. можно считать частным случаем разделительного.